Beth Definability Theorem